@inproceedings(
LMS96,Author="Lincoln, P.D. and Mitchell, J.C. and Scedrov, A.",
	Title="The Complexity of Local Proof Search in Linear Logic (Extended Abstract)",
	Booktitle="Proc. Linear Logic '96, Tokyo Meeting",
	Publisher="Electronic Notes in Theoretical Computer Science, Volume 3",
	Year="to appear",pages="??",
	Note="Preliminary report in
    {\it CADE-13 Workshop on Proof Search in Type-Theoretic Languages, New
	Brunswick, NJ, July, 1996.})